.so man3/gdsl_interval_heap.3
